Nuprl Definition : coprime
11,40
postcript
pdf
coprime(
a
;
b
) == gcd_p(
a
;
b
; 1)
latex
Definitions
gcd_p(
a
;
b
;
y
)
,
#$n
FDL editor aliases
coprime
origin